(2^x-4)(logx+3)>0